\newcommand{\evold}[1]{\ensuremath{\mathcal{E}_d^{\mathtt{#1}}}\xspace}
\newcommand{\evols}[1]{\ensuremath{\mathcal{E}_s^{\mathtt{#1}}}\xspace}


%Full evolvability CCS
\newcommand{\evol}[1]{\ensuremath{\mathcal{E}^{\mathtt{#1}}}\xspace}




\newcommand{\OG}{\ensuremath{\mathsf{\mathbf{BA}}}\xspace} % bounded adaptation
\newcommand{\LG}{\ensuremath{\mathsf{\mathbf{EA}}}\xspace} % eventual adaptation

\newcommand{\Log}{\ensuremath{\mathsf{\mathcal{L}}}\xspace}
\newcommand{\rL}{\ensuremath{\mathsf{\mathcal{L}_r}}\xspace}

%separator
\newcommand{\sep}{ \  \  \mid \ \ }

%operatori
\newcommand{\update}[2]{\widetilde{#1}\{#2\} } % a{P}
\newcommand{\updatebig}[2]{\widetilde{#1}\big\{#2\big\} } % a{P}

\newcommand{\component}[2]{#1 [#2]   }  %a[P]
\newcommand{\componentbig}[2]{#1 \bigg[ #2 \bigg]   }  %a[P]
\newcommand{\componentbbig}[2]{#1 \big[ #2 \big]   }  %a[P]

\newcommand{\supd}[2]{\til{#1}^\circ\{#2\} } % a^o {P} subjective
\newcommand{\oupd}[2]{\til{#1}^\bullet\{#2\} } % a^o {P} objective o piena

\newcommand{\scomp}[2]{#1^\circ [#2]}    %a^o[P]
\newcommand{\ocomp}[2]{#1^\bullet [#2]}  %a^o[P]

\newcommand{\tuple}[2]{\langle #1 , #2 \rangle}


\newcommand{\procleq}{\preceq}
\newcommand{\subp}{\ensuremath{\mathsf{sub}}}

%\newcommand{\procleq}{\preceq}
\newcommand{\Comp}{\mathtt{Comp}}
%\newcommand{\subp}{\mathit{Sub}}
\newcommand{\ClSub}{\mathtt{ClSub}}
\newcommand{\nset}[1]{\ensuremath{\mathsf{lab}(#1)}}
\newcommand{\Tree}{\mathsf{Tr}}
\newcommand{\cnames}{\mathsf{apn}}

\newcommand{\barb}[1]{\! \Downarrow_{#1} }
\newcommand{\barbk}[1]{\! \Downarrow_{#1}^k }
\newcommand{\barbw}[1]{\! \Downarrow_{#1}^{\omega} }

\newcommand{\negbarbk}[1]{\rotatebox[origin=c]{270}{$\nRightarrow$}_{#1}^{\hspace{0.2mm}k}}
\newcommand{\negbarbw}[1]{\rotatebox[origin=c]{270}{$\nRightarrow$}_{#1}^{\hspace{0.2mm}\omega}}

\newcommand{\newbarb}[2]{#1 \rotatebox[origin=c]{270}{$\Mapsto$}_{#2}^{\hspace{1mm}k}}

\newcommand{\negbarb}[1]{\neg \Downarrow_{#1}^{ERROR}}


\newcommand{\BC}{{\cal CS}}


\newcommand{\newarro}[1]{\xrightarrow{#1} }
%\newcommand{\newarro}[1]{\shortmid \! \xrightarrow{#1} } %|->
\newcommand{\bigset}[1]{{\cal T}_{#1}}

\newcommand{\Par}{\mathsf{Par}}

\newcommand{\CStr}{\ensuremath{\mathsf{St}}}
\newcommand{\CStrs}{\ensuremath{\mathsf{Sub}_{\mathsf{St}}}}
\newcommand{\rootch}{l}
\newcommand{\dyn}[1]{\llbracket #1 \rrbracket_S^{\mathit{d}}}
\newcommand{\dyns}[2]{\llbracket #1 \rrbracket_{#2}^{\mathit{d}}}


\newcommand{\mmn}[1]{\ensuremath{\mathsf{#1}}}
\newcommand{\mmss}{MMs\xspace}
\newcommand{\mm}{MM\xspace}


\newcommand{\controll}{\ensuremath{\mathrm{\textsc{Control}}}\xspace}

\newcommand{\gar}[1]{G^{\langle#1\rangle}}
\newcommand{\garb}[2]{G_{#2}^{\langle#1\rangle}}


\newcommand{\fillcont}[2]{\ensuremath{#1[#2]}}
\newcommand{\fillcontbig}[2]{\ensuremath{#1\big[#2\big]}}
\newcommand{\fillcontBig}[2]{\ensuremath{#1\Big[#2\Big]}}


\newcommand{\numph}[1]{\ensuremath{{|}#1{|}_{\mathsf{ph}}}}
\newcommand{\numap}[1]{\ensuremath{{|}#1{|}_{\mathsf{ap}}}}

\newcommand{\encoding}[1]{\llbracket #1 \rrbracket}
\newcommand{\encp}[2]{\encoding{#1}_{#2}}

\newcommand{\on}{(\!|}
\newcommand{\cn}{|\!)}
\newcommand{\encn}[2]{\on #1 \cn_{#2}}
\newcommand{\encu}[1]{\on #1 \cn}



\newcommand{\den}[1]{\ensuremath{[\![{#1}]\!]}}%denotazione{formula}

\newcommand{\Pred}{\textsf{Pred}}%predecessore

\newcommand{\sat}{\models}%soddisfa
\newcommand{\state}{{s}}

\newcommand{\Hide}{\mathrm{H}^*}
\newcommand{\true}{\mathrm{\mathbf T}}%true
\newcommand{\ev}{\ensuremath{\diamondsuit^*}}
\newcommand{\di}{\ensuremath{\diamondsuit}}
\newcommand{\fneg}{\neg}%not
\newcommand{\fand}{\wedge}%and
\newcommand{\forr}{\vee}%or

\newcommand{\sts}{\textsc{sts}}




\newcommand{\At}{\mathrm{At}}

\newcommand{\Bpred}{ \mathrm{O}} %insieme dei predicati di base
\newcommand{\bpred}{\mathrm{p}}%predicati di base


\newcommand{\Lo}{\mathcal{L}} % logica


\newcommand{\Fres}{\Lo_{r}\xspace}%insieme delle formule logica ristretta


\newcommand{\qua}{\ensuremath{\mathsf{q}}}  % 
\newcommand{\qual}{\ensuremath{\mathsf{lin}}}  % 
\newcommand{\quau}{\ensuremath{\mathsf{un}}}  % 
\newcommand{\addelta}{\ensuremath{\uplus}}  % 
\newcommand{\midelta}{\ensuremath{\ominus}}  % 
\newcommand{\compat}{\ensuremath{\asymp}}  % 


\newcommand{\bigcomponent}[4]{#1^{#2} \big[#4\big]   }  %a^n[P]

\newcommand{\mupdate}[4]{{#1}^{#3}_{#4}\big\{#2\big\}} % a{P}
\newcommand{\updated}[5]{{#1}^{#3}_{#4}\{#5(\mathsf{#2})\} } % a{P}
\newcommand{\quicktype}{\textsc{Int}}
\newcommand{\intf}[1]{\Delta_{[#1]}}


\newcommand{\judgebis}[3]{#1 \vdash #2 :: #3}
\newcommand{\env}[2]{#1 \,;\, #2}
\newcommand{\type}[2]{#1;#2}


%\newcommand{\update}[4]{{#1}\{#4\} } % a{P}
\newcommand{\up}[1]{\hat{#1}}
\newcommand{\loc}[1]{\check{#1}}

\newcommand{\nopen}[2]{\mathsf{open}\,#1\,(#2)}
\newcommand{\open}[1]{\mathsf{open}(#1)}
\newcommand{\close}[1]{\mathsf{close}\langle#1\rangle}


